Optimal. Leaf size=61 \[ \frac {1}{8} (3 a+4 b) x+\frac {(3 a+4 b) \cosh (c+d x) \sinh (c+d x)}{8 d}+\frac {a \cosh ^3(c+d x) \sinh (c+d x)}{4 d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 61, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 3, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {4130, 2715, 8}
\begin {gather*} \frac {(3 a+4 b) \sinh (c+d x) \cosh (c+d x)}{8 d}+\frac {1}{8} x (3 a+4 b)+\frac {a \sinh (c+d x) \cosh ^3(c+d x)}{4 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rule 2715
Rule 4130
Rubi steps
\begin {align*} \int \cosh ^4(c+d x) \left (a+b \text {sech}^2(c+d x)\right ) \, dx &=\frac {a \cosh ^3(c+d x) \sinh (c+d x)}{4 d}+\frac {1}{4} (3 a+4 b) \int \cosh ^2(c+d x) \, dx\\ &=\frac {(3 a+4 b) \cosh (c+d x) \sinh (c+d x)}{8 d}+\frac {a \cosh ^3(c+d x) \sinh (c+d x)}{4 d}+\frac {1}{8} (3 a+4 b) \int 1 \, dx\\ &=\frac {1}{8} (3 a+4 b) x+\frac {(3 a+4 b) \cosh (c+d x) \sinh (c+d x)}{8 d}+\frac {a \cosh ^3(c+d x) \sinh (c+d x)}{4 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.08, size = 45, normalized size = 0.74 \begin {gather*} \frac {4 (3 a+4 b) (c+d x)+8 (a+b) \sinh (2 (c+d x))+a \sinh (4 (c+d x))}{32 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 2.68, size = 46, normalized size = 0.75
method | result | size |
default | \(\frac {\left (\frac {a}{2}+\frac {b}{2}\right ) \sinh \left (2 d x +2 c \right )}{2 d}+\frac {3 a x}{8}+\frac {b x}{2}+\frac {a \sinh \left (4 d x +4 c \right )}{32 d}\) | \(46\) |
risch | \(\frac {3 a x}{8}+\frac {b x}{2}+\frac {a \,{\mathrm e}^{4 d x +4 c}}{64 d}+\frac {{\mathrm e}^{2 d x +2 c} a}{8 d}+\frac {{\mathrm e}^{2 d x +2 c} b}{8 d}-\frac {{\mathrm e}^{-2 d x -2 c} a}{8 d}-\frac {{\mathrm e}^{-2 d x -2 c} b}{8 d}-\frac {a \,{\mathrm e}^{-4 d x -4 c}}{64 d}\) | \(100\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 97, normalized size = 1.59 \begin {gather*} \frac {1}{64} \, a {\left (24 \, x + \frac {e^{\left (4 \, d x + 4 \, c\right )}}{d} + \frac {8 \, e^{\left (2 \, d x + 2 \, c\right )}}{d} - \frac {8 \, e^{\left (-2 \, d x - 2 \, c\right )}}{d} - \frac {e^{\left (-4 \, d x - 4 \, c\right )}}{d}\right )} + \frac {1}{8} \, b {\left (4 \, x + \frac {e^{\left (2 \, d x + 2 \, c\right )}}{d} - \frac {e^{\left (-2 \, d x - 2 \, c\right )}}{d}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 61, normalized size = 1.00 \begin {gather*} \frac {a \cosh \left (d x + c\right ) \sinh \left (d x + c\right )^{3} + {\left (3 \, a + 4 \, b\right )} d x + {\left (a \cosh \left (d x + c\right )^{3} + 4 \, {\left (a + b\right )} \cosh \left (d x + c\right )\right )} \sinh \left (d x + c\right )}{8 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (a + b \operatorname {sech}^{2}{\left (c + d x \right )}\right ) \cosh ^{4}{\left (c + d x \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 116 vs.
\(2 (55) = 110\).
time = 0.39, size = 116, normalized size = 1.90 \begin {gather*} \frac {8 \, {\left (d x + c\right )} {\left (3 \, a + 4 \, b\right )} + a e^{\left (4 \, d x + 4 \, c\right )} + 8 \, a e^{\left (2 \, d x + 2 \, c\right )} + 8 \, b e^{\left (2 \, d x + 2 \, c\right )} - {\left (18 \, a e^{\left (4 \, d x + 4 \, c\right )} + 24 \, b e^{\left (4 \, d x + 4 \, c\right )} + 8 \, a e^{\left (2 \, d x + 2 \, c\right )} + 8 \, b e^{\left (2 \, d x + 2 \, c\right )} + a\right )} e^{\left (-4 \, d x - 4 \, c\right )}}{64 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.13, size = 50, normalized size = 0.82 \begin {gather*} \frac {\frac {a\,\mathrm {sinh}\left (2\,c+2\,d\,x\right )}{4}+\frac {a\,\mathrm {sinh}\left (4\,c+4\,d\,x\right )}{32}+\frac {b\,\mathrm {sinh}\left (2\,c+2\,d\,x\right )}{4}}{d}+\frac {3\,a\,x}{8}+\frac {b\,x}{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________